0x7fffffffffffffff